The Aims of the Criminal Law

Cu2ZnSnS4(CZTS) is an interesting material for sustainable photovoltaics, but efficiencies are limitedby the low open-circuit voltage. A possible cause of this is disorder among the Cu and Zn cations, aphenomenon which is difficult to detect by standard techniques. We show that this issue can beovercome using near-resonant Raman scattering, which lets us estimate a critical temperature of 533±10 K for the transition between ordered and disordered CZTS. These findings have deepsignificance for the synthesis of high-quality material, and pave the way for quantitative investigationof the impact of disorder on the performance of CZTS-based solar cells.kestCa

Natural slicks on the ocean

Slicks are smooth glassy streaks or patches on the ocean. Prominent slicks are confined largely to near-shore areas where organic production is high. Experiments and observations are described which show that slicks are contaminate films of organic oil, probably derived primarily from diatoms which contain droplets of oil in their cells to assist in flotation and/or as an emergency food supply. Slicks are discernible because of their damping effect on small wavelets. The parallel slicks that develop in light to moderate winds result because the contaminate films pile up at the top of convergences in the homogeneous, wind-stirred layer above the thermocline

Partial Homology Relations - Satisfiability in terms of Di-Cographs

Directed cographs (di-cographs) play a crucial role in the reconstruction of evolutionary histories of genes based on homology relations which are binary relations between genes. A variety of methods based on pairwise sequence comparisons can be used to infer such homology relations (e.g.\ orthology, paralogy, xenology). They are \emph{satisfiable} if the relations can be explained by an event-labeled gene tree, i.e., they can simultaneously co-exist in an evolutionary history of the underlying genes. Every gene tree is equivalently interpreted as a so-called cotree that entirely encodes the structure of a di-cograph. Thus, satisfiable homology relations must necessarily form a di-cograph. The inferred homology relations might not cover each pair of genes and thus, provide only partial knowledge on the full set of homology relations. Moreover, for particular pairs of genes, it might be known with a high degree of certainty that they are not orthologs (resp.\ paralogs, xenologs) which yields forbidden pairs of genes. Motivated by this observation, we characterize (partial) satisfiable homology relations with or without forbidden gene pairs, provide a quadratic-time algorithm for their recognition and for the computation of a cotree that explains the given relations

Adaptation of oilseed crops in Saskatchewan

Non-Peer Reviewe

A generalized Robinson-Foulds distance for labeled trees.

The Robinson-Foulds (RF) distance is a well-established measure between phylogenetic trees. Despite a lack of biological justification, it has the advantages of being a proper metric and being computable in linear time. For phylogenetic applications involving genes, however, a crucial aspect of the trees ignored by the RF metric is the type of the branching event (e.g. speciation, duplication, transfer, etc). We extend RF to trees with labeled internal nodes by including a node flip operation, alongside edge contractions and extensions. We explore properties of this extended RF distance in the case of a binary labeling. In particular, we show that contrary to the unlabeled case, an optimal edit path may require contracting "good" edges, i.e. edges shared between the two trees. We provide a 2-approximation algorithm which is shown to perform well empirically. Looking ahead, computing distances between labeled trees opens up a variety of new algorithmic directions.Implementation and simulations available at https://github.com/DessimozLab/pylabeledrf

A generalized Robinson-Foulds distance for labeled trees

Background: The Robinson-Foulds (RF) distance is a well-established measure between phylogenetic trees. Despite a lack of biological justification, it has the advantages of being a proper metric and being computable in linear time. For phylogenetic applications involving genes, however, a crucial aspect of the trees ignored by the RF metric is the type of the branching event (e.g. speciation, duplication, transfer, etc). Results: We extend RF to trees with labeled internal nodes by including a node flip operation, alongside edge contractions and extensions. We explore properties of this extended RF distance in the case of a binary labeling. In particular, we show that contrary to the unlabeled case, an optimal edit path may require contracting “good” edges, i.e. edges shared between the two trees. Conclusions: We provide a 2-approximation algorithm which is shown to perform well empirically. Looking ahead, computing distances between labeled trees opens up a variety of new algorithmic directions. Implementation and simulations available at https://github.com/DessimozLab/pylabeledrf

Crown rust in oats: when are fungicide applications to control crown rust of economic benefit to producers?

Non-Peer Reviewe

Experimental evaluation of the relationship between lethal or non-lethal virulence and transmission success in malaria parasite infections

BACKGROUND: Evolutionary theory suggests that the selection pressure on parasites to maximize their transmission determines their optimal host exploitation strategies and thus their virulence. Establishing the adaptive basis to parasite life history traits has important consequences for predicting parasite responses to public health interventions. In this study we examine the extent to which malaria parasites conform to the predicted adaptive trade-off between transmission and virulence, as defined by mortality. The majority of natural infections, however, result in sub-lethal virulent effects (e.g. anaemia) and are often composed of many strains. Both sub-lethal effects and pathogen population structure have been theoretically shown to have important consequences for virulence evolution. Thus, we additionally examine the relationship between anaemia and transmission in single and mixed clone infections. RESULTS: Whereas there was a trade-off between transmission success and virulence as defined by host mortality, contradictory clone-specific patterns occurred when defining virulence by anaemia. A negative relationship between anaemia and transmission success was found for one of the parasite clones, whereas there was no relationship for the other. Notably the two parasite clones also differed in a transmission phenotype (gametocyte sex ratio) that has previously been shown to respond adaptively to a changing blood environment. In addition, as predicted by evolutionary theory, mixed infections resulted in increased anaemia. The increased anaemia was, however, not correlated with any discernable parasite trait (e.g. parasite density) or with increased transmission. CONCLUSIONS: We found some evidence supporting the hypothesis that there is an adaptive basis correlating virulence (as defined by host mortality) and transmission success in malaria parasites. This confirms the validity of applying evolutionary virulence theory to biomedical research and adds support to the prediction that partially effective vaccines may select for increasingly virulent malaria parasite strains. By contrast, there was no consistent correlation between transmission and sub-lethal anaemia, a more common outcome of malaria infection. However, overall, the data are not inconsistent with the recent proposal that sub-lethal effects may impose an upper limit on virulence. Moreover, clone specific differences in transmission phenotypes linked to anaemia do suggest that there is considerable adaptive potential relating anaemia and transmission that may lead to uncertain consequences following intervention strategies

Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks

The ever increasing number and complexity of energy-bound devices (such as the ones used in Internet of Things applications, smart phones, and mission critical systems) pose an important challenge on techniques to optimize their energy consumption and to verify that they will perform their function within the available energy budget. In this work we address this challenge from the software point of view and propose a novel parametric approach to estimating tight bounds on the energy consumed by program executions that are practical for their application to energy verification and optimization. Our approach divides a program into basic (branchless) blocks and estimates the maximal and minimal energy consumption for each block using an evolutionary algorithm. Then it combines the obtained values according to the program control flow, using static analysis, to infer functions that give both upper and lower bounds on the energy consumption of the whole program and its procedures as functions on input data sizes. We have tested our approach on (C-like) embedded programs running on the XMOS hardware platform. However, our method is general enough to be applied to other microprocessor architectures and programming languages. The bounds obtained by our prototype implementation can be tight while remaining on the safe side of budgets in practice, as shown by our experimental evaluation.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854). Improved version of the one presented at the HIP3ES 2016 workshop (v1): more experimental results (added benchmark to Table 1, added figure for new benchmark, added Table 3), improved Fig. 1, added Fig.

“Angular resolution expected from iCHORD orientation maps through a revisited ion channeling model”

International audienceCrystalline orientation maps are obtained in a Focused Ion Beam (FIB) microscope using the ion CHanneling ORientation Determination (iCHORD) method, which relies on the channeling phenomenon observed in ion-induced secondary electron images. The current paper focuses on the angular resolution that can be expected from such orientation maps, obtained using a revisited ion channeling model. A specific procedure was developed to evaluate the angular resolution, based on the distribution of orientation errors when evaluating controlled sample disorientation. The main advantage is that no external reference is required. An angular resolution of 1° is obtained on a nickel based sample using standard acquisition conditions. This value fulfills most of the needs in terms of microstructural characterization usually carried out by Electron Back Scattered Diffraction